Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
561	Programmation Systèmes Cours 1 — Introduction Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:22 Programming language implementation Cross-platform software Source code Notation Programming language Unix Fourth-generation programming language Assembly language C Computing Software engineering Software
562	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
563	888 LLVM - Exercise Week 6 For 01. MarFix missed optimization in instcombine Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 LLVM GNU Compiler Collection Mathematical optimization Software Programming language implementation Compilers
564	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
565	aiT for C33 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline be Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Worst-case execution time Programming language implementation Technology Compiler Programming tool 64-bit Toolchain Software Computing Real-time computing
566	aiT for C16x aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline b Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Real-time computing Worst-case execution time Compiler construction KEIL Compiler Toolchain C Executable Programming tool Computing Software Programming language implementation
567	Programmation Systèmes Cours 1 — Introduction Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:18 Cross-platform software Source code Notation Programming language Unix Fourth-generation programming language C Virtual machine Assembly language Computing Software Programming language implementation
568	XL Compiler Optimizations And Tuning Manisha Gajbe and Gabriel Mateescu Outline   Optimization Levels and Options   Tuning code transformations to processor architecture Add to Reading List Source URL: gladiator.ncsa.illinois.edu Language: English - Date: 2010-05-11 14:29:09 Software Programming language implementation Compiler Program optimization Interprocedural optimization Loop optimization Inline expansion Intel C++ Compiler MILEPOST GCC Software engineering Computing Compiler optimizations
569	Programmation Système Cours 1 — Introduction Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-21 17:38:22 Programming language implementation Cross-platform software Source code Notation Programming language Unix Fourth-generation programming language Assembly language C Computing Software engineering Software
570	Practices of PLDI Hans Boehm, Jack Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary Hall, Graham Hutton, David Padua, Frank Tip, Jan Vi Add to Reading List Source URL: www.sigplan.org Language: English - Date: 2015-04-12 11:24:20 Computer science Computing Association for Computing Machinery Programming Language Design and Implementation SIGPLAN

UPDATE